<html><head><title>DBLP: Carlo Ghezzi</title><link href="../../../../dblp.css" rel="stylesheet" type="text/css" /></head><body><div class="llogo"><a href="../../../index.html"><img alt="dblp.uni-trier.de" src="../../../Logo.gif" border="0" height="60" width="170"/></a></div>
<div class="rlogo"><a href="http://www.uni-trier.de"><img alt="www.uni-trier.de" src="../../../logo_universitaet-trier.gif" border="0" height="48" width="215"/></a></div>
<div class="clogo"><a href="http://www.mpi-inf.mpg.de"><img alt="www.mpi-inf.mpg.de" src="../../../mpii.jpg" border="0" height="50" width="150"/></a></div>
<h1 key="homepages/g/CarloGhezzi">Carlo Ghezzi <a href="http://www.elet.polimi.it/upload/ghezzi/"><img alt="Home Page" title="Home Page" src="../../../home.gif" border="0" height="16" width="16"></a> <a href="#coauthors"><img alt="Coauthor index" title="Coauthor index" src="../../../ca.gif" border="0" height="16" width="16"></a> <a href="http://dblpvis.uni-trier.de/Graph.svg?person=Ghezzi:Carlo&amp;type=PersonPerson&amp;mode=set"><img alt="DBLP Vis" title="DBLP Vis" src="../../../vis.gif" border="0" height="16" width="16"></a> <a href="http://www.pubzone.org/dblp/homepages/g/CarloGhezzi"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone2.gif" border="0" height="16" width="16"></a></h1>
List of publications from the <a href="../../../index.html">DBLP Bibliography Server</a> - <a href="../../../about/faq.html">FAQ</a>
<hr/>
Ask others: ACM <a href="http://portal.acm.org/results.cfm?coll=portal&amp;dl=ACM&amp;query=Carlo+Ghezzi&amp;short=1">DL</a>/<a href="http://portal.acm.org/results.cfm?coll=guide&amp;dl=GUIDE&amp;query=Carlo+Ghezzi&amp;short=1">Guide</a> - <a href="http://citeseerx.ist.psu.edu/search?q=%22Carlo+Ghezzi%22&amp;t=auth"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> - <a href="http://liinwww.ira.uka.de/csbib?query=au:(Carlo+Ghezzi)">CSB</a> - <a href="http://www.metapress.com/content?k=author:(Carlo+Ghezzi)">MetaPress</a> - <a href="http://www.google.com/search?ie=iso-8859-1&amp;q=Carlo+Ghezzi">Google</a> - <a href="http://www.bing.com/search?q=Carlo+Ghezzi">Bing</a> - <a href="http://search.yahoo.com/search?p=Carlo+Ghezzi">Yahoo</a>
<hr/>
<p>
<table border="1">
<tr><th><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/hk"><img alt="DBLP keys" title="DBLP keys" src="../../../keys.gif" border="0" height="16" width="16"></a></th><th colspan="2" bgcolor="#FFFFCC">2010</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">112</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-642-12029-9_17"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/fase/GhezziMS10"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Automatic+Cross+Validation+of+Multiple+Specifications+A+Case+Study.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Automatic+Cross+Validation+of+Multiple+Specifications+A+Case+Study.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/GhezziMS10" name="p112"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/GhezziMS10.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mocci:Andrea.html">Andrea Mocci</a>,
<a href="../s/Salvaneschi:Guido.html">Guido Salvaneschi</a>:
Automatic Cross Validation of Multiple Specifications: A Case Study.
<a href="../../../../db/conf/fase/fase2010.html#GhezziMS10">FASE 2010</a>: 233-247</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2009</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">111</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/ICSE.2009.5070513"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/EpifaniGMT09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Model+evolution+by+run%2Dtime+parameter+adaptation.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Model+evolution+by+run%2Dtime+parameter+adaptation.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/EpifaniGMT09" name="p111"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/EpifaniGMT09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../e/Epifani:Ilenia.html">Ilenia Epifani</a>,
Carlo Ghezzi,
<a href="../m/Mirandola:Raffaela.html">Raffaela Mirandola</a>,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
Model evolution by run-time parameter adaptation.
<a href="../../../../db/conf/icse/icse2009.html#EpifaniGMT09">ICSE 2009</a>: 111-121</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">110</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/ICSE.2009.5070542"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/GhezziMM09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Synthesizing+intensional+behavior+models+by+graph+transformation.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Synthesizing+intensional+behavior+models+by+graph+transformation.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziMM09" name="p110"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziMM09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mocci:Andrea.html">Andrea Mocci</a>,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Synthesizing intensional behavior models by graph transformation.
<a href="../../../../db/conf/icse/icse2009.html#GhezziMM09">ICSE 2009</a>: 430-440</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">109</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/ICSE.2009.5070571"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/BianculliBDG09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22ReMan+A+pro%2Dactive+reputation+management+infrastructure+for+composite+Web+services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22ReMan+A+pro%2Dactive+reputation+management+infrastructure+for+composite+Web+services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/BianculliBDG09" name="p109"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/BianculliBDG09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
<a href="../b/Binder:Walter.html">Walter Binder</a>,
<a href="../d/Drago:Mauro_Luigi.html">Mauro Luigi Drago</a>,
Carlo Ghezzi:
ReMan: A pro-active reputation management infrastructure for composite Web services.
<a href="../../../../db/conf/icse/icse2009.html#BianculliBDG09">ICSE 2009</a>: 623-626</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">108</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-642-02351-4_5"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/qosa/GhezziT09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Predicting+Performance+Properties+for+Open+Systems+with+KAMI.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Predicting+Performance+Properties+for+Open+Systems+with+KAMI.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/GhezziT09" name="p108"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/GhezziT09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
Predicting Performance Properties for Open Systems with KAMI.
<a href="../../../../db/conf/qosa/qosa2009.html#GhezziT09">QoSA 2009</a>: 70-85</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">107</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/RE.2009.34"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/re/GhezziT09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Reasoning+on+Non%2DFunctional+Requirements+for+Integrated+Services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Reasoning+on+Non%2DFunctional+Requirements+for+Integrated+Services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/re/GhezziT09" name="p107"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/re/GhezziT09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
Reasoning on Non-Functional Requirements for Integrated Services.
<a href="../../../../db/conf/re/re2009.html#GhezziT09">RE 2009</a>: 69-78</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">106</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-642-02987-5_1"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/seafood/Ghezzi09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Decentralized+Software+Development+Pitfalls+and+Challenges.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Decentralized+Software+Development+Pitfalls+and+Challenges.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seafood/Ghezzi09" name="p106"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seafood/Ghezzi09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Decentralized Software Development: Pitfalls and Challenges.
<a href="../../../../db/conf/seafood/seafood2009.html#Ghezzi09">SEAFOOD 2009</a>: 1-2</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">105</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-642-02987-5_13"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/seafood/NordioMMGNT09"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22The+Role+of+Contracts+in+Distributed+Development.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22The+Role+of+Contracts+in+Distributed+Development.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seafood/NordioMMGNT09" name="p105"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seafood/NordioMMGNT09.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../n/Nordio:Martin.html">Martin Nordio</a>,
<a href="../m/Mitin:Roman.html">Roman Mitin</a>,
<a href="../m/Meyer:Bertrand.html">Bertrand Meyer</a>,
Carlo Ghezzi,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
The Role of Contracts in Distributed Development.
<a href="../../../../db/conf/seafood/seafood2009.html#NordioMMGNT09">SEAFOOD 2009</a>: 117-129</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2008</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">104</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/ASEW.2008.4686293"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/kbse/BianculliG08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22SAVVY%2DWS+at+a+glance+Supporting+verifiable+dynamic+service+compositions.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22SAVVY%2DWS+at+a+glance+Supporting+verifiable+dynamic+service+compositions.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/kbse/BianculliG08" name="p104"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/kbse/BianculliG08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
<a href="../../../../db/conf/kbse/asew2008.html#BianculliG08">ASE Workshops 2008</a>: 49-56</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">103</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-68679-8_21"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/birthday/GhezziIM08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Dynamically+Evolvable+Dependable+Software+From+Oxymoron+to+Reality.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Dynamically+Evolvable+Dependable+Software+From+Oxymoron+to+Reality.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/birthday/GhezziIM08" name="p103"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/birthday/GhezziIM08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../i/Inverardi:Paola.html">Paola Inverardi</a>,
<a href="../m/Montangero:Carlo.html">Carlo Montangero</a>:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
<a href="../../../../db/conf/birthday/montanari2008.html#GhezziIM08">Concurrency, Graphs and Models 2008</a>: 330-353</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">102</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/ICWS.2008.39"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icws/BianculliBDG08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Transparent+Reputation+Management+for+Composite+Web+Services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Transparent+Reputation+Management+for+Composite+Web+Services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icws/BianculliBDG08" name="p102"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icws/BianculliBDG08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
<a href="../b/Binder:Walter.html">Walter Binder</a>,
<a href="../d/Drago:Mauro_Luigi.html">Mauro Luigi Drago</a>,
Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services.
<a href="../../../../db/conf/icws/icws2008.html#BianculliBDG08">ICWS 2008</a>: 621-628</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">101</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-87879-7_1"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/qosa/ArdagnaGM08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Rethinking+the+Use+of+Models+in+Software+Architecture.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Rethinking+the+Use+of+Models+in+Software+Architecture.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/ArdagnaGM08" name="p101"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/ArdagnaGM08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../a/Ardagna:Danilo.html">Danilo Ardagna</a>,
Carlo Ghezzi,
<a href="../m/Mirandola:Raffaela.html">Raffaela Mirandola</a>:
Rethinking the Use of Models in Software Architecture.
<a href="../../../../db/conf/qosa/qosa2008.html#ArdagnaGM08">QoSA 2008</a>: 1-27</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">100</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-87879-7_8"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/qosa/GallottiGMT08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Quality+Prediction+of+Service+Compositions+through+Probabilistic+Model+Checking.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Quality+Prediction+of+Service+Compositions+through+Probabilistic+Model+Checking.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/GallottiGMT08" name="p100"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/qosa/GallottiGMT08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../g/Gallotti:Stefano.html">Stefano Gallotti</a>,
Carlo Ghezzi,
<a href="../m/Mirandola:Raffaela.html">Raffaela Mirandola</a>,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
Quality Prediction of Service Compositions through Probabilistic Model Checking.
<a href="../../../../db/conf/qosa/qosa2008.html#GallottiGMT08">QoSA 2008</a>: 119-134</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">99</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/seke/GhezziT08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Choosing+a+Software+Architecture+An+Approach+and+a+Case+Study.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Choosing+a+Software+Architecture+An+Approach+and+a+Case+Study.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/GhezziT08" name="p99"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/GhezziT08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a>:
Choosing a Software Architecture: An Approach and a Case Study.
<a href="../../../../db/conf/seke/seke2008.html#GhezziT08">SEKE 2008</a>: 255-260</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">98</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-89897-9_26"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/servicewave/ArdagnaGM08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Model+Driven+QoS+Analyses+of+Composed+Web+Services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Model+Driven+QoS+Analyses+of+Composed+Web+Services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/servicewave/ArdagnaGM08" name="p98"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/servicewave/ArdagnaGM08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../a/Ardagna:Danilo.html">Danilo Ardagna</a>,
Carlo Ghezzi,
<a href="../m/Mirandola:Raffaela.html">Raffaela Mirandola</a>:
Model Driven QoS Analyses of Composed Web Services.
<a href="../../../../db/conf/servicewave/servicewave2008.html#ArdagnaGM08">ServiceWave 2008</a>: 299-311</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">97</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/s10515-008-0032-x"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/ase/NittoGMPP08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+journey+to+highly+dynamic%2C+self%2Dadaptive+service%2Dbased+applications.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+journey+to+highly+dynamic%2C+self%2Dadaptive+service%2Dbased+applications.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ase/NittoGMPP08" name="p97"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ase/NittoGMPP08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi,
<a href="../m/Metzger:Andreas.html">Andreas Metzger</a>,
<a href="../p/Papazoglou:Mike_P=.html">Mike P. Papazoglou</a>,
<a href="../p/Pohl:Klaus.html">Klaus Pohl</a>:
A journey to highly dynamic, self-adaptive service-based applications.
<a href="../../../../db/journals/ase/ase15.html#NittoGMPP08">Autom. Softw. Eng. 15</a>(3-4): 313-341 (2008)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">96</td><td valign="top"><a class="ee" href="http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/155"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/eceasst/BaresiGMM08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Using+Graph+Transformation+Systems+to+Specify+and+Verify+Data+Abstractions.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Using+Graph+Transformation+Systems+to+Specify+and+Verify+Data+Abstractions.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/BaresiGMM08" name="p96"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/BaresiGMM08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../m/Mocci:Andrea.html">Andrea Mocci</a>,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Using Graph Transformation Systems to Specify and Verify Data Abstractions.
<a href="../../../../db/journals/eceasst/eceasst10.html#BaresiGMM08">ECEASST 10</a>:  (2008)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">95</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/MC.2008.85"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/computer/OsterweilGKW08"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Determining+the+Impact+of+Software+Engineering+Research+on+Practice.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Determining+the+Impact+of+Software+Engineering+Research+on+Practice.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/computer/OsterweilGKW08" name="p95"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/computer/OsterweilGKW08.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../o/Osterweil:Leon_J=.html">Leon J. Osterweil</a>,
Carlo Ghezzi,
<a href="../k/Kramer:Jeff.html">Jeff Kramer</a>,
<a href="../w/Wolf:Alexander_L=.html">Alexander L. Wolf</a>:
Determining the Impact of Software Engineering Research on Practice.
<a href="../../../../db/journals/computer/computer41.html#OsterweilGKW08">IEEE Computer 41</a>(3): 39-49 (2008)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2007</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">94</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1295014.1295045"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/sigsoft/Ghezzi07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Foreword+to+the+doctoral+symposium.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Foreword+to+the+doctoral+symposium.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/Ghezzi07" name="p94"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/Ghezzi07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Foreword to the doctoral symposium.
<a href="../../../../db/conf/sigsoft/fse2007c.html#Ghezzi07">ESEC/SIGSOFT FSE (Companion) 2007</a>: 573</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">93</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-73196-2_16"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/forte/HeBGS07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Formal+Analysis+of+Publish%2DSubscribe+Systems+by+Probabilistic+Timed+Automata.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Formal+Analysis+of+Publish%2DSubscribe+Systems+by+Probabilistic+Timed+Automata.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/forte/HeBGS07" name="p93"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/forte/HeBGS07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../h/He:Fei.html">Fei He</a>,
<a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../s/Spoletini:Paola.html">Paola Spoletini</a>:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
<a href="../../../../db/conf/forte/forte2007.html#HeBGS07">FORTE 2007</a>: 247-262</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">92</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.57"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/BaresiGM07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22On+Accurate+Automatic+Verification+of+Publish%2DSubscribe+Architectures.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22On+Accurate+Automatic+Verification+of+Publish%2DSubscribe+Architectures.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/BaresiGM07" name="p92"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/BaresiGM07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../m/Mottola:Luca.html">Luca Mottola</a>:
On Accurate Automatic Verification of Publish-Subscribe Architectures.
<a href="../../../../db/conf/icse/icse2007.html#BaresiGM07">ICSE 2007</a>: 199-208</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">91</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-74974-5_42"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icsoc/BianculliJBGF07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Automated+Dynamic+Maintenance+of+Composite+Services+Based+on+Service+Reputation.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Automated+Dynamic+Maintenance+of+Composite+Services+Based+on+Service+Reputation.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsoc/BianculliJBGF07" name="p91"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsoc/BianculliJBGF07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
<a href="../j/Jurca:Radu.html">Radu Jurca</a>,
<a href="../b/Binder:Walter.html">Walter Binder</a>,
Carlo Ghezzi,
<a href="../f/Faltings:Boi.html">Boi Faltings</a>:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
<a href="../../../../db/conf/icsoc/icsoc2007.html#BianculliJBGF07">ICSOC 2007</a>: 449-455</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">90</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.25"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icws/BaresiBGGS07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Timed+Extension+of+WSCoL.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Timed+Extension+of+WSCoL.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icws/BaresiBGGS07" name="p90"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icws/BaresiBGGS07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>,
<a href="../s/Spoletini:Paola.html">Paola Spoletini</a>:
A Timed Extension of WSCoL.
<a href="../../../../db/conf/icws/icws2007.html#BaresiBGGS07">ICWS 2007</a>: 663-670</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">89</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1294928.1294933"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/sigsoft/BianculliG07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Monitoring+conversational+web+services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Monitoring+conversational+web+services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/BianculliG07" name="p89"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/BianculliG07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi:
Monitoring conversational web services.
<a href="../../../../db/conf/sigsoft/soswe2007.html#BianculliG07">IW-SOSWE 2007</a>: 15-21</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">88</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1294948.1294972"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/iwpse/GhezziMM07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Efficient+recovery+of+algebraic+specifications+for+stateful+components.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Efficient+recovery+of+algebraic+specifications+for+stateful+components.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iwpse/GhezziMM07" name="p88"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iwpse/GhezziMM07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mocci:Andrea.html">Andrea Mocci</a>,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Efficient recovery of algebraic specifications for stateful components.
<a href="../../../../db/conf/iwpse/iwpse2007.html#GhezziMM07">IWPSE 2007</a>: 98-105</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">87</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-89762-0_5"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/lipari/BianculliGSBG07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Guided+Tour+through+SAVVY%2DWS+A+Methodology+for+Specifying+and+Validating+Web+Service+Compositions.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Guided+Tour+through+SAVVY%2DWS+A+Methodology+for+Specifying+and+Validating+Web+Service+Compositions.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/lipari/BianculliGSBG07" name="p87"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/lipari/BianculliGSBG07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi,
<a href="../s/Spoletini:Paola.html">Paola Spoletini</a>,
<a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
<a href="../../../../db/conf/lipari/lipari2007.html#BianculliGSBG07">Lipari Summer School 2007</a>: 131-160</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">86</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1292316.1292323"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/sigsoft/BaresiGGM07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Playing+with+time+in+publish%2Dsubscribe+using+a+domain%2Dspecific+model+checker.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Playing+with+time+in+publish%2Dsubscribe+using+a+domain%2Dspecific+model+checker.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/BaresiGGM07" name="p86"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/BaresiGGM07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../g/Gerosa:Giorgio.html">Giorgio Gerosa</a>,
Carlo Ghezzi,
<a href="../m/Mottola:Luca.html">Luca Mottola</a>:
Playing with time in publish-subscribe using a domain-specific model checker.
<a href="../../../../db/conf/sigsoft/savcbs2007.html#BaresiGGM07">SAVCBS 2007</a>: 55-62</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">85</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1109/SOCA.2007.5"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/soca/BianculliGS07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Model+Checking+Approach+to+Verify+BPEL4WS+Workflows.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Model+Checking+Approach+to+Verify+BPEL4WS+Workflows.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/soca/BianculliGS07" name="p85"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/soca/BianculliGS07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi,
<a href="../s/Spoletini:Paola.html">Paola Spoletini</a>:
A Model Checking Approach to Verify BPEL4WS Workflows.
<a href="../../../../db/conf/soca/soca2007.html#BianculliGS07">SOCA 2007</a>: 13-20</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">84</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1216993.1216995"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/wosp/Ghezzi07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22The+challenges+of+open%2Dworld+software.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22The+challenges+of+open%2Dworld+software.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/wosp/Ghezzi07" name="p84"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/wosp/Ghezzi07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
The challenges of open-world software.
<a href="../../../../db/conf/wosp/wosp2007.html#Ghezzi07">WOSP 2007</a>: 90</td></tr>
<tr><td align="right" valign="top" class="I" bgcolor="#CCCCFF">83</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-44910-2_2"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/series/sci/BaresiGG07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Towards+Self%2Dhealing+Composition+of+Services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Towards+Self%2Dhealing+Composition+of+Services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/series/sci/BaresiGG07" name="p83"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/series/sci/BaresiGG07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>:
Towards Self-healing Composition of Services.
<a href="../../../../db/series/sci/sci42.html#BaresiGG07">Contributions to Ubiquitous Computing 2007</a>: 27-46</td></tr>
<tr><td align="right" valign="top" class="I" bgcolor="#CCCCFF">82</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/978-3-540-72912-9_9"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/swb/GhezziG07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Run%2DTime+Monitoring+in+Service%2DOriented+Architectures.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Run%2DTime+Monitoring+in+Service%2DOriented+Architectures.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/swb/GhezziG07" name="p82"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/swb/GhezziG07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>:
Run-Time Monitoring in Service-Oriented Architectures.
<a href="../../../../db/conf/swb/taws2007.html#GhezziG07">Test and Analysis of Web Services 2007</a>: 237-264</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">81</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1189748.1189750"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tosem/Ghezzi07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Editorial.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Editorial.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/Ghezzi07" name="p81"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/Ghezzi07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Editorial.
<a href="../../../../db/journals/tosem/tosem16.html#Ghezzi07">ACM Trans. Softw. Eng. Methodol. 16</a>(1):  (2007)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">80</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1049/iet-sen:20070027"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/iee/BaresiBGGS07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Validation+of+web+service+compositions.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Validation+of+web+service+compositions.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/iee/BaresiBGGS07" name="p80"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/iee/BaresiBGGS07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a>,
Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>,
<a href="../s/Spoletini:Paola.html">Paola Spoletini</a>:
Validation of web service compositions.
<a href="../../../../db/journals/iee/iet-s1.html#BaresiBGGS07">IET Software 1</a>(6): 219-232 (2007)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">79</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/s11761-007-0004-1"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/soca/BaresiNGG07"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+framework+for+the+deployment+of+adaptable+web+service+compositions.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+framework+for+the+deployment+of+adaptable+web+service+compositions.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/soca/BaresiNGG07" name="p79"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/soca/BaresiNGG07.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>:
A framework for the deployment of adaptable web service compositions.
<a href="../../../../db/journals/soca/soca1.html#BaresiNGG07">Service Oriented Computing and Applications 1</a>(1): 75-91 (2007)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2006</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">78</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/APSEC.2006.58"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/apsec/BaresiBFGP06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Towards+a+Model%2Ddriven+Approach+to+Develop+Applications+based+on+Physical+Active+Objects.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Towards+a+Model%2Ddriven+Approach+to+Develop+Applications+based+on+Physical+Active+Objects.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/apsec/BaresiBFGP06" name="p78"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/apsec/BaresiBFGP06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../b/Beretta:Paolo.html">Paolo Beretta</a>,
<a href="../f/Fraccapani:Roberto.html">Roberto Fraccapani</a>,
Carlo Ghezzi,
<a href="../p/Pacifici:Filippo.html">Filippo Pacifici</a>:
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects.
<a href="../../../../db/conf/apsec/apsec2006.html#BaresiBFGP06">APSEC 2006</a>: 173-182</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">77</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/11693017_2"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/fase/Ghezzi06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Engineering+Emerging+Goals+and+Lasting+Problems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Engineering+Emerging+Goals+and+Lasting+Problems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/Ghezzi06" name="p77"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/Ghezzi06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Software Engineering: Emerging Goals and Lasting Problems.
<a href="../../../../db/conf/fase/fase2006.html#Ghezzi06">FASE 2006</a>: 2</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">76</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/11888116_10"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/forte/BaresiGM06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Towards+Fine%2DGrained+Automated+Verification+of+Publish%2DSubscribe+Architectures.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Towards+Fine%2DGrained+Automated+Verification+of+Publish%2DSubscribe+Architectures.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/forte/BaresiGM06" name="p76"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/forte/BaresiGM06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../m/Mottola:Luca.html">Luca Mottola</a>:
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.
<a href="../../../../db/conf/forte/forte2006.html#BaresiGM06">FORTE 2006</a>: 131-135</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">75</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/SEW.2006.35"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/sew/BaresiNG06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Towards+Open%2DWorld+Software+Issue+and+Challenges.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Towards+Open%2DWorld+Software+Issue+and+Challenges.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sew/BaresiNG06" name="p75"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sew/BaresiNG06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges.
<a href="../../../../db/conf/sew/sew2006.html#BaresiNG06">SEW 2006</a>: 249-252</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">74</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/MC.2006.362"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/computer/BaresiNG06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Toward+Open%2DWorld+Software+Issue+and+Challenges.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Toward+Open%2DWorld+Software+Issue+and+Challenges.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/computer/BaresiNG06" name="p74"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/computer/BaresiNG06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi:
Toward Open-World Software: Issue and Challenges.
<a href="../../../../db/journals/computer/computer39.html#BaresiNG06">IEEE Computer 39</a>(10): 36-43 (2006)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">73</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/TSMCA.2006.883165"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tsmc/BalzarottiGM06"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Supporting+Cooperative+Software+Processes+in+a+Decentralized+and+Nomadic+World.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Supporting+Cooperative+Software+Processes+in+a+Decentralized+and+Nomadic+World.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tsmc/BalzarottiGM06" name="p73"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tsmc/BalzarottiGM06.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Balzarotti:Davide.html">Davide Balzarotti</a>,
Carlo Ghezzi,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Supporting Cooperative Software Processes in a Decentralized and Nomadic World.
<a href="../../../../db/journals/tsmc/tsmca36.html#BalzarottiGM06">IEEE Transactions on Systems, Man, and Cybernetics, Part A 36</a>(6): 1098-1109 (2006)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2005</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">72</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1062455.1062578"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/GhezziM05"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22The+challenges+of+software+engineering+education.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22The+challenges+of+software+engineering+education.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziM05" name="p72"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziM05.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
The challenges of software engineering education.
<a href="../../../../db/conf/icse/icse2005.html#GhezziM05">ICSE 2005</a>: 637-638</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">71</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/METRICS.2005.27"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/metrics/Ghezzi05"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Flexible+Processes+for+Evolvable+Products.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Flexible+Processes+for+Evolvable+Products.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/metrics/Ghezzi05" name="p71"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/metrics/Ghezzi05.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Flexible Processes for Evolvable Products.
<a href="../../../../db/conf/metrics/metrics2005.html#Ghezzi05">IEEE METRICS 2005</a>: 1</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">70</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1108473.1108487"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/edo/BaresiGMMNP05"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Hybrid+service%2Doriented+architectures+a+case%2Dstudy+in+the+automotive+domain.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Hybrid+service%2Doriented+architectures+a+case%2Dstudy+in+the+automotive+domain.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/edo/BaresiGMMNP05" name="p70"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/edo/BaresiGMMNP05.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../m/Miele:Antonio.html">Antonio Miele</a>,
<a href="../m/Miraz:Matteo.html">Matteo Miraz</a>,
<a href="../n/Naggi:Andrea.html">Andrea Naggi</a>,
<a href="../p/Pacifici:Filippo.html">Filippo Pacifici</a>:
Hybrid service-oriented architectures: a case-study in the automotive domain.
<a href="../../../../db/conf/edo/sem2005.html#BaresiGMMNP05">SEM 2005</a>: 62-68</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">69</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/11949374_8"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/GhezziM05a"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22The+Challenges+of+Software+Engineering+Education.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22The+Challenges+of+Software+Engineering+Education.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziM05a" name="p69"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/GhezziM05a.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
The Challenges of Software Engineering Education.
<a href="../../../../db/conf/icse/icse2005edu.html#GhezziM05a">Software Education and Training Sessions @ ICSE 2005</a>: 115-127</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">68</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1061254.1061255"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tosem/Ghezzi05"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Editorial.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Editorial.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/Ghezzi05" name="p68"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/Ghezzi05.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Editorial.
<a href="../../../../db/journals/tosem/tosem14.html#Ghezzi05">ACM Trans. Softw. Eng. Methodol. 14</a>(2): 119-123 (2005)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">67</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1101815.1101816"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tosem/OsterweilGKW05"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Editorial.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Editorial.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/OsterweilGKW05" name="p67"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/OsterweilGKW05.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../o/Osterweil:Leon_J=.html">Leon J. Osterweil</a>,
Carlo Ghezzi,
<a href="../k/Kramer:Jeff.html">Jeff Kramer</a>,
<a href="../w/Wolf:Alexander_L=.html">Alexander L. Wolf</a>:
Editorial.
<a href="../../../../db/journals/tosem/tosem14.html#OsterweilGKW05">ACM Trans. Softw. Eng. Methodol. 14</a>(4): 381-382 (2005)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2004</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">66</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/11823063_5"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/aswsd/BaresiG04"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Validation+of+Component+and+Service+Federations+in+Automotive+Software+Applications.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Validation+of+Component+and+Service+Federations+in+Automotive+Software+Applications.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/aswsd/BaresiG04" name="p66"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/aswsd/BaresiG04.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi:
Validation of Component and Service Federations in Automotive Software Applications.
<a href="../../../../db/conf/aswsd/aswsd2004.html#BaresiG04">ASWSD 2004</a>: 57-73</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">65</td><td valign="top"><a class="ee" href="http://springerlink.metapress.com/openurl.asp?genre=article&amp;issn=0302-9743&amp;volume=2984&amp;spage=339"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/fase/GhezziMP04"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Enhancing+Remote+Method+Invocation+through+Type%2DBased+Static+Analysis.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Enhancing+Remote+Method+Invocation+through+Type%2DBased+Static+Analysis.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/GhezziMP04" name="p65"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fase/GhezziMP04.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Martena:Vincenzo.html">Vincenzo Martena</a>,
<a href="../p/Picco:Gian_Pietro.html">Gian Pietro Picco</a>:
Enhancing Remote Method Invocation through Type-Based Static Analysis.
<a href="../../../../db/conf/fase/fase2004.html#GhezziMP04">FASE 2004</a>: 339-353</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">64</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/1035167.1035195"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icsoc/BaresiGG04"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Smart+monitors+for+composed+services.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Smart+monitors+for+composed+services.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsoc/BaresiGG04" name="p64"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsoc/BaresiGG04.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Baresi:Luciano.html">Luciano Baresi</a>,
Carlo Ghezzi,
<a href="../g/Guinea:Sam.html">Sam Guinea</a>:
Smart monitors for composed services.
<a href="../../../../db/conf/icsoc/icsoc2004.html#BaresiGG04">ICSOC 2004</a>: 193-202</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">63</td><td valign="top"><a class="ee" href="http://springerlink.metapress.com/index/10.1023/B:AUSE.0000028563.49367.43"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/ase/GhezziI04"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Introduction+to+Special+Issue+on+Distributed+and+Mobile+Software+Engineering.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Introduction+to+Special+Issue+on+Distributed+and+Mobile+Software+Engineering.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ase/GhezziI04" name="p63"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ase/GhezziI04.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../i/Inverardi:Paola.html">Paola Inverardi</a>:
Introduction to Special Issue on Distributed and Mobile Software Engineering.
<a href="../../../../db/journals/ase/ase11.html#GhezziI04">Autom. Softw. Eng. 11</a>(3): 203-205 (2004)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2003</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">62</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/sac/NittoGS03"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Using+Agents+for+Multi%2Dtarget+Search+on+the+Web.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Using+Agents+for+Multi%2Dtarget+Search+on+the+Web.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sac/NittoGS03" name="p62"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sac/NittoGS03.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi,
<a href="../s/Selvini:Paolo.html">Paolo Selvini</a>:
Using Agents for Multi-target Search on the Web.
<a href="../../../../db/conf/sac/sac2003.html#NittoGS03">SAC 2003</a>: 828-833</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">61</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/839268.839269"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tosem/GhezziMRS03"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Editorial.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Editorial.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/GhezziMRS03" name="p61"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/GhezziMRS03.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Magee:Jeff.html">Jeff Magee</a>,
<a href="../r/Rombach:H=_Dieter.html">H. Dieter Rombach</a>,
<a href="../s/Soffa:Mary_Lou.html">Mary Lou Soffa</a>:
Editorial.
<a href="../../../../db/journals/tosem/tosem12.html#GhezziMRS03">ACM Trans. Softw. Eng. Methodol. 12</a>(1): 1-2 (2003)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2002</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">60</td><td valign="top"><a class="ee" href="http://link.springer.de/link/service/series/0558/bibs/2505/25050001.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/gg/Ghezzi02"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Ubiquitous%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Ubiquitous%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/gg/Ghezzi02" name="p60"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/gg/Ghezzi02.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.
<a href="../../../../db/conf/gg/icgt2002.html#Ghezzi02">ICGT 2002</a>: 1-5</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">59</td><td valign="top"><a class="ee" href="http://link.springer.de/link/service/series/0558/bibs/2376/23760235.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/networking/BalzarottiGM02"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Freeing+Cooperation+from+Servers+Tyranny.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Freeing+Cooperation+from+Servers+Tyranny.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/networking/BalzarottiGM02" name="p59"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/networking/BalzarottiGM02.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Balzarotti:Davide.html">Davide Balzarotti</a>,
Carlo Ghezzi,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Freeing Cooperation from Servers Tyranny.
<a href="../../../../db/conf/networking/networking2002w.html#BalzarottiGM02">NETWORKING Workshops 2002</a>: 235-246</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">58</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/568760.568849"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/seke/BalzarottiGM02"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Supporting+configuration+management+for+virtual+workgroups+ini+a+peer%2Dto%2Dpeer+setting.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Supporting+configuration+management+for+virtual+workgroups+ini+a+peer%2Dto%2Dpeer+setting.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/BalzarottiGM02" name="p58"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/BalzarottiGM02.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Balzarotti:Davide.html">Davide Balzarotti</a>,
Carlo Ghezzi,
<a href="../m/Monga:Mattia.html">Mattia Monga</a>:
Supporting configuration management for virtual workgroups ini a peer-to-peer setting.
<a href="../../../../db/conf/seke/seke2002.html#BalzarottiGM02">SEKE 2002</a>: 507-511</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">2001</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">57</td><td valign="top"><a class="ee" href="http://link.springer.de/link/service/series/0558/bibs/2182/21820100.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/cia/NittoGSS01"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Using+Agents+in+Performing+Multi%2Dsite+Queries.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Using+Agents+in+Performing+Multi%2Dsite+Queries.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/cia/NittoGSS01" name="p57"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/cia/NittoGSS01.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi,
<a href="../s/Sabba:Maurizio.html">Maurizio Sabba</a>,
<a href="../s/Selvini:Paolo.html">Paolo Selvini</a>:
Using Agents in Performing Multi-site Queries.
<a href="../../../../db/conf/cia/cia2001.html#NittoGSS01">CIA 2001</a>: 100-105</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">56</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/503209.503230"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/sigsoft/Coen-PorisiniDGP01"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Using+symbolic+execution+for+verifying+safety%2Dcritical+systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Using+symbolic+execution+for+verifying+safety%2Dcritical+systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/Coen-PorisiniDGP01" name="p56"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/Coen-PorisiniDGP01.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Coen=Porisini:Alberto.html">Alberto Coen-Porisini</a>,
<a href="../d/Denaro:Giovanni.html">Giovanni Denaro</a>,
Carlo Ghezzi,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
Using symbolic execution for verifying safety-critical systems.
<a href="../../../../db/conf/sigsoft/fse2001.html#Coen-PorisiniDGP01">ESEC / SIGSOFT FSE 2001</a>: 142-151</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">55</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/scp/AstesianoG01"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Fundamental+Approaches+to+Software+Engineering.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Fundamental+Approaches+to+Software+Engineering.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/scp/AstesianoG01" name="p55"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/scp/AstesianoG01.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../a/Astesiano:Egidio.html">Egidio Astesiano</a>,
Carlo Ghezzi:
Fundamental Approaches to Software Engineering.
<a href="../../../../db/journals/scp/scp40.html#AstesianoG01">Sci. Comput. Program. 40</a>(1): 1-2 (2001)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1999</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">54</td><td valign="top"><a class="ee" href="http://csdl.computer.org/comp/proceedings/iceccs/1999/0434/00/04340178abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/iceccs/Ghezzi99"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Complexity+in+Human+Centered+Systems+The+Case+of+Software+Processes.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Complexity+in+Human+Centered+Systems+The+Case+of+Software+Processes.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/Ghezzi99" name="p54"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/Ghezzi99.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Complexity in Human Centered Systems: The Case of Software Processes.
<a href="../../../../db/conf/iceccs/iceccs1999.html#Ghezzi99">ICECCS 1999</a>: 178-</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">53</td><td valign="top"><a class="ee" href="http://computer.org/proceedings/wetice/0365/03650032abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/wetice/CugolaG99"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Design+and+Implementation+of+PROSYT+A+Distributed+Process+Support+System.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Design+and+Implementation+of+PROSYT+A+Distributed+Process+Support+System.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/wetice/CugolaG99" name="p53"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/wetice/CugolaG99.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
Carlo Ghezzi:
Design and Implementation of PROSYT: A Distributed Process Support System.
<a href="../../../../db/conf/wetice/wetice1999.html#CugolaG99">WETICE 1999</a>: 32-39</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">52</td><td valign="top"><a class="ee" href="http://dlib.computer.org/ts/books/ts1999/pdf/e0782.pdf"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/GhezziN99"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Guest+Editorial+Introduction+to+the+Special+Section+%2D+Managing+Inconsistency+in+Software+Development.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Guest+Editorial+Introduction+to+the+Special+Section+%2D+Managing+Inconsistency+in+Software+Development.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/GhezziN99" name="p52"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/GhezziN99.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../n/Nuseibeh:Bashar.html">Bashar Nuseibeh</a>:
Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development.
<a href="../../../../db/journals/tse/tse25.html#GhezziN99">IEEE Trans. Software Eng. 25</a>(6): 782-783 (1999)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1998</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">51</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/sopr/CugolaG98"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+processes+a+retrospective+and+a+path+to+the+future.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+processes+a+retrospective+and+a+path+to+the+future.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/sopr/CugolaG98" name="p51"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/sopr/CugolaG98.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
Carlo Ghezzi:
Software processes: a retrospective and a path to the future.
<a href="../../../../db/journals/sopr/sopr4.html#CugolaG98">Software Process: Improvement and Practice 4</a>(3): 101-123 (1998)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1997</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">50</td><td valign="top"><a class="ee" href="http://computer.org/proceedings/icsm/8013/80130002.pdf"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icsm/Ghezzi97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Engineering+Issues+for+Network+Computing.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Engineering+Issues+for+Network+Computing.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsm/Ghezzi97" name="p50"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icsm/Ghezzi97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Software Engineering Issues for Network Computing.
<a href="../../../../db/conf/icsm/icsm1997.html#Ghezzi97">ICSM 1997</a>: 2</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">49</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ma/GhezziV97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Mobile+Code+Paradigms+and+Technologies+A+Case+Study.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Mobile+Code+Paradigms+and+Technologies+A+Case+Study.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ma/GhezziV97" name="p49"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ma/GhezziV97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../v/Vigna:Giovanni.html">Giovanni Vigna</a>:
Mobile Code Paradigms and Technologies: A Case Study.
<a href="../../../../db/conf/ma/ma1997.html#GhezziV97">Mobile Agents 1997</a>: 39-49</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">48</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/oois/CugolaG97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22CJava+Introducing+Concurrent+Objects+in+Java.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22CJava+Introducing+Concurrent+Objects+in+Java.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/oois/CugolaG97" name="p48"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/oois/CugolaG97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
Carlo Ghezzi:
CJava: Introducing Concurrent Objects in Java.
<a href="../../../../db/conf/oois/oois97.html#CugolaG97">OOIS 1997</a>: 504-514</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">47</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/rtse/GhezziV97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Engineering+Issues+for+Network+Computing.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Engineering+Issues+for+Network+Computing.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/rtse/GhezziV97" name="p47"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/rtse/GhezziV97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../v/Vigna:Giovanni.html">Giovanni Vigna</a>:
Software Engineering Issues for Network Computing.
<a href="../../../../db/conf/rtse/rtse1997.html#GhezziV97">Requirements Targeting Software and Systems Engineering 1997</a>: 155-177</td></tr>
<tr><td align="right" valign="top" class="I" bgcolor="#CCCCFF">46</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/books/crc/tucker97/GhezziJM97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Qualities+and+Principles.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Qualities+and+Principles.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/books/crc/tucker97/GhezziJM97" name="p46"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/books/crc/tucker97/GhezziJM97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../j/Jazayeri:Mehdi.html">Mehdi Jazayeri</a>,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Software Qualities and Principles.
<a href="../../../../db/books/collections/tucker97.html#GhezziJM97">The Computer Science and Engineering Handbook 1997</a>: 2278-2301</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">45</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1997/e0572abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/Coen-PorisiniGK97"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Specification+of+Realtime+Systems+Using+ASTRAL.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Specification+of+Realtime+Systems+Using+ASTRAL.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/Coen-PorisiniGK97" name="p45"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/Coen-PorisiniGK97.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Coen=Porisini:Alberto.html">Alberto Coen-Porisini</a>,
Carlo Ghezzi,
<a href="../k/Kemmerer:Richard_A=.html">Richard A. Kemmerer</a>:
Specification of Realtime Systems Using ASTRAL.
<a href="../../../../db/journals/tse/tse23.html#Coen-PorisiniGK97">IEEE Trans. Software Eng. 23</a>(9): 572-598 (1997)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1996</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">44</td><td valign="top"><a class="ee" href="http://computer.org/proceedings/ispw/7725/77250048abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/ispw/CugolaG96"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Program+families+some+requirements+issues+for+the+process+languages.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Program+families+some+requirements+issues+for+the+process+languages.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/CugolaG96" name="p44"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/CugolaG96.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
Carlo Ghezzi:
Program families: some requirements issues for the process languages.
<a href="../../../../db/conf/ispw/ispw1996.html#CugolaG96">ISPW 1996</a>: 48-50</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">43</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/mos/CugolaGPV96"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Analyzing+Mobile+Code+Languages.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Analyzing+Mobile+Code+Languages.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/mos/CugolaGPV96" name="p43"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/mos/CugolaGPV96.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
Carlo Ghezzi,
<a href="../p/Picco:Gian_Pietro.html">Gian Pietro Picco</a>,
<a href="../v/Vigna:Giovanni.html">Giovanni Vigna</a>:
Analyzing Mobile Code Languages.
<a href="../../../../db/conf/mos/mos1996.html#CugolaGPV96">Mobile Object Systems 1996</a>: 93-110</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">42</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/234426.234427"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tosem/CugolaNFG96"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Framework+for+Formalizing+Inconsistencies+and+Deviations+in+Human%2DCentered+Systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Framework+for+Formalizing+Inconsistencies+and+Deviations+in+Human%2DCentered+Systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/CugolaNFG96" name="p42"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tosem/CugolaNFG96.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
<a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi:
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems.
<a href="../../../../db/journals/tosem/tosem5.html#CugolaNFG96">ACM Trans. Softw. Eng. Methodol. 5</a>(3): 191-230 (1996)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1995</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">41</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/225014.225039"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/icse/CugolaNGM95"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22How+to+Deal+With+Deviations+During+Process+Model+Enactment.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22How+to+Deal+With+Deviations+During+Process+Model+Enactment.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/CugolaNGM95" name="p41"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/icse/CugolaNGM95.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a>,
<a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a>,
Carlo Ghezzi,
<a href="../m/Mantione:M=.html">M. Mantione</a>:
How to Deal With Deviations During Process Model Enactment.
<a href="../../../../db/conf/icse/icse95.html#CugolaNGM95">ICSE 1995</a>: 265-273</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1994</th></tr>
<tr><td align="right" valign="top" class="B" bgcolor="#CCFFFF">40</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ispw/1994"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Proceedings+of+the+Ninth+International+Software+Process+Workshop+%28ISPW+%2794%29%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Proceedings+of+the+Ninth+International+Software+Process+Workshop+%28ISPW+%2794%29%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/1994" name="p40"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/1994.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA
<a href="../../../../db/conf/ispw/ispw1994.html">IEEE Computer Society 1994</a></td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">39</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1016/0164-1212(94)90095-7"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/jss/FuggettaG94"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22State+of+the+art+and+open+issues+in+process%2Dcentered+software+engineering+environments.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22State+of+the+art+and+open+issues+in+process%2Dcentered+software+engineering+environments.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/FuggettaG94" name="p39"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/FuggettaG94.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi:
State of the art and open issues in process-centered software engineering environments.
<a href="../../../../db/journals/jss/jss26.html#FuggettaG94">Journal of Systems and Software 26</a>(1): 53-60 (1994)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">38</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1016/0164-1212(94)90024-8"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/jss/GhezziMP94"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Validating+timing+requirements+for+time+basic+net+specifications.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Validating+timing+requirements+for+time+basic+net+specifications.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/GhezziMP94" name="p38"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/GhezziMP94.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Morasca:Sandro.html">Sandro Morasca</a>,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
Validating timing requirements for time basic net specifications.
<a href="../../../../db/journals/jss/jss27.html#GhezziMP94">Journal of Systems and Software 27</a>(2): 97-117 (1994)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1993</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">37</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/esec/GhezziFB93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Real%2DTime+Systems+A+Survey+of+Approaches+to+Formal+Specification+and+Verification.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Real%2DTime+Systems+A+Survey+of+Approaches+to+Formal+Specification+and+Verification.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GhezziFB93" name="p37"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GhezziFB93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../f/Felder:Miguel.html">Miguel Felder</a>,
<a href="../b/Bellettini:Carlo.html">Carlo Bellettini</a>:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.
<a href="../../../../db/conf/esec/esec93.html#GhezziFB93">ESEC 1993</a>: 11-36</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">36</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ispw/FuggettaG93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Process+Formalisms+Need+to+be+Fully+Reflective.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Process+Formalisms+Need+to+be+Fully+Reflective.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/FuggettaG93" name="p36"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/FuggettaG93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi:
Process Formalisms Need to be Fully Reflective.
<a href="../../../../db/conf/ispw/ispw1993.html#FuggettaG93">ISPW 1993</a>: 78-80</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">35</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/154183.154193"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/issta/FelderGP93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Analyzing+Refinements+of+State+Based+Specifications+The+Case+of+TB+Nets.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Analyzing+Refinements+of+State+Based+Specifications+The+Case+of+TB+Nets.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/issta/FelderGP93" name="p35"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/issta/FelderGP93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Felder:Miguel.html">Miguel Felder</a>,
Carlo Ghezzi,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
Analyzing Refinements of State Based Specifications: The Case of TB Nets.
<a href="../../../../db/conf/issta/issta93.html#FelderGP93">ISSTA 1993</a>: 28-39</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">34</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/iwssd/GhezziP93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Towards+Extensible+Graphical+Formalisms.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Towards+Extensible+Graphical+Formalisms.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iwssd/GhezziP93" name="p34"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/iwssd/GhezziP93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
Towards Extensible Graphical Formalisms.
<a href="../../../../db/conf/iwssd/iwssd1993.html#GhezziP93">IWSSD 1993</a>: 69-77</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">33</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1993/e1128abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/BandinelliFG93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Process+Model+Evolution+in+the+SPADE+Environment.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Process+Model+Evolution+in+the+SPADE+Environment.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/BandinelliFG93" name="p33"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/BandinelliFG93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a>,
<a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi:
Process Model Evolution in the SPADE Environment.
<a href="../../../../db/journals/tse/tse19.html#BandinelliFG93">IEEE Trans. Software Eng. 19</a>(12): 1128-1144 (1993)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">32</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1142/S0218194093000197"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/ijseke/ArmeniseBGM93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Survey+and+Assessment+of+Software+Process+Representation+Formalisms.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Survey+and+Assessment+of+Software+Process+Representation+Formalisms.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ijseke/ArmeniseBGM93" name="p32"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ijseke/ArmeniseBGM93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../a/Armenise:Pasquale.html">Pasquale Armenise</a>,
<a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a>,
Carlo Ghezzi,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
A Survey and Assessment of Software Process Representation Formalisms.
<a href="../../../../db/journals/ijseke/ijseke3.html#ArmeniseBGM93">International Journal of Software Engineering and Knowledge Engineering 3</a>(3): 401-426 (1993)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">31</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/rts/FelderGP93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22High%2DLevel+Timed+Petri+Nets+as+a+Kernel+for+Executable+Specifications.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22High%2DLevel+Timed+Petri+Nets+as+a+Kernel+for+Executable+Specifications.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/rts/FelderGP93" name="p31"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/rts/FelderGP93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Felder:Miguel.html">Miguel Felder</a>,
Carlo Ghezzi,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
High-Level Timed Petri Nets as a Kernel for Executable Specifications.
<a href="../../../../db/journals/rts/rts5.html#FelderGP93">Real-Time Systems 5</a>(2-3): 235-248 (1993)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">30</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/scp/GhezziR93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Guest+Editors%27+Remarks+Selected+Papers+of+the+Sixth+International+Workshop+on+Software+Specification+and+Design.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Guest+Editors%27+Remarks+Selected+Papers+of+the+Sixth+International+Workshop+on+Software+Specification+and+Design.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/scp/GhezziR93" name="p30"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/scp/GhezziR93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../r/Roman:Gruia=Catalin.html">Gruia-Catalin Roman</a>:
Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.
<a href="../../../../db/journals/scp/scp20.html#GhezziR93">Sci. Comput. Program. 20</a>(1-2): 1-2 (1993)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">29</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/spe/FuggettaGMM93"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Executable+Specifications+with+Data%2Dflow+Diagrams.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Executable+Specifications+with+Data%2Dflow+Diagrams.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/spe/FuggettaGMM93" name="p29"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/spe/FuggettaGMM93.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
Executable Specifications with Data-flow Diagrams.
<a href="../../../../db/journals/spe/spe23.html#FuggettaGMM93">Softw., Pract. Exper. 23</a>(6): 629-653 (1993)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1992</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">28</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ewspt/BandinelliFGG92"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Process+Enactment+in+SPADE.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Process+Enactment+in+SPADE.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ewspt/BandinelliFGG92" name="p28"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ewspt/BandinelliFGG92.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a>,
<a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi,
<a href="../g/Grigolli:Sandro.html">Sandro Grigolli</a>:
Process Enactment in SPADE.
<a href="../../../../db/conf/ewspt/ewspt1992.html#BandinelliFGG92">EWSPT 1992</a>: 67-83</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">27</td><td valign="top"><a class="ee" href="http://doi.ieeecomputersociety.org/10.1109/SEKE.1992.227957"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/seke/ArmeniseBGM92"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Processes+Representation+Languages+Survey+and+Assessment.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Processes+Representation+Languages+Survey+and+Assessment.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/ArmeniseBGM92" name="p27"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/seke/ArmeniseBGM92.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../a/Armenise:Pasquale.html">Pasquale Armenise</a>,
<a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a>,
Carlo Ghezzi,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
Software Processes Representation Languages: Survey and Assessment.
<a href="../../../../db/conf/seke/seke1992.html#ArmeniseBGM92">SEKE 1992</a>: 455-462</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">26</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/133233.129397"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/toplas/MorzentiMG92"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Model+Parametric+Real%2DTime+Logic.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Model+Parametric+Real%2DTime+Logic.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/toplas/MorzentiMG92" name="p26"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/toplas/MorzentiMG92.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
Carlo Ghezzi:
A Model Parametric Real-Time Logic.
<a href="../../../../db/journals/toplas/toplas14.html#MorzentiMG92">ACM Trans. Program. Lang. Syst. 14</a>(4): 521-573 (1992)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">25</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1992/e0766abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/KemmererG92"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Guest+Editors%27+Introduction+Specification+and+Analysis+of+Real%2DTime+Systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Guest+Editors%27+Introduction+Specification+and+Analysis+of+Real%2DTime+Systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/KemmererG92" name="p25"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/KemmererG92.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../k/Kemmerer:Richard_A=.html">Richard A. Kemmerer</a>,
Carlo Ghezzi:
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems.
<a href="../../../../db/journals/tse/tse18.html#KemmererG92">IEEE Trans. Software Eng. 18</a>(9): 766-767 (1992)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1991</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">24</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/esec/GhezziK91"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22ASTRAL+An+Assertion+Language+for+Specifying+Realtime+Systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22ASTRAL+An+Assertion+Language+for+Specifying+Realtime+Systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GhezziK91" name="p24"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GhezziK91.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../k/Kemmerer:Richard_A=.html">Richard A. Kemmerer</a>:
ASTRAL: An Assertion Language for Specifying Realtime Systems.
<a href="../../../../db/conf/esec/esec91.html#GhezziK91">ESEC 1991</a>: 122-146</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">23</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ispw/BandinelliFGM91"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+multi%2Dparadigm+Petri+net+based+approach+to+process+description.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+multi%2Dparadigm+Petri+net+based+approach+to+process+description.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/BandinelliFGM91" name="p23"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ispw/BandinelliFGM91.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a>,
<a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
A multi-paradigm Petri net based approach to process description.
<a href="../../../../db/conf/ispw/ispw1991.html#BandinelliFGM91">ISPW 1991</a>: 41-43</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">22</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/120807.120817"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/issta/GhezziK91"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Executing+Formal+Specifications+The+ASTRAL+to+TRIO+Translation+Approach.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Executing+Formal+Specifications+The+ASTRAL+to+TRIO+Translation+Approach.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/issta/GhezziK91" name="p22"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/issta/GhezziK91.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../k/Kennerer:Richard_A=.html">Richard A. Kennerer</a>:
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.
<a href="../../../../db/conf/issta/tav91.html#GhezziK91">Symposium on Testing, Analysis, and Verification 1991</a>: 112-122</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">21</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1991/e0160abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/GhezziMMP91"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22A+Unified+High%2DLevel+Petri+Net+Formalism+for+Time%2DCritical+Systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22A+Unified+High%2DLevel+Petri+Net+Formalism+for+Time%2DCritical+Systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/GhezziMMP91" name="p21"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/GhezziMMP91.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../m/Morasca:Sandro.html">Sandro Morasca</a>,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
<a href="../../../../db/journals/tse/tse17.html#GhezziMMP91">IEEE Trans. Software Eng. 17</a>(2): 160-172 (1991)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">20</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1991/e0884abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/Coen-PorisiniPGM91"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Software+Specialization+Via+Symbolic+Execution.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Software+Specialization+Via+Symbolic+Execution.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/Coen-PorisiniPGM91" name="p20"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/Coen-PorisiniPGM91.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Coen=Porisini:Alberto.html">Alberto Coen-Porisini</a>,
<a href="../p/Paoli:Flavio_De.html">Flavio De Paoli</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Software Specialization Via Symbolic Execution.
<a href="../../../../db/journals/tse/tse17.html#Coen-PorisiniPGM91">IEEE Trans. Software Eng. 17</a>(9): 884-899 (1991)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1990</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">19</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1016/0164-1212(90)90074-V"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/jss/GhezziMM90"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22TRIO+A+logic+language+for+executable+specifications+of+real%2Dtime+systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22TRIO+A+logic+language+for+executable+specifications+of+real%2Dtime+systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/GhezziMM90" name="p19"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jss/GhezziMM90.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
TRIO: A logic language for executable specifications of real-time systems.
<a href="../../../../db/journals/jss/jss12.html#GhezziMM90">Journal of Systems and Software 12</a>(2): 107-123 (1990)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1989</th></tr>
<tr><td align="right" valign="top" class="B" bgcolor="#CCFFFF">18</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/esec/1989"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22ESEC+%2789%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22ESEC+%2789%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/1989" name="p18"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/1989.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/McDermid:John_A=.html">John A. McDermid</a>:
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings
<a href="../../../../db/conf/esec/esec89.html">Springer 1989</a></td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">17</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/cl/GhezziMMP89"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Symbolic+Execution+of+Concurrent+Systems+Using+Petri+Nets.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Symbolic+Execution+of+Concurrent+Systems+Using+Petri+Nets.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/GhezziMMP89" name="p17"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/GhezziMMP89.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../m/Morasca:Sandro.html">Sandro Morasca</a>,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
Symbolic Execution of Concurrent Systems Using Petri Nets.
<a href="../../../../db/journals/cl/cl14.html#GhezziMMP89">Comput. Lang. 14</a>(4): 263-281 (1989)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">16</td><td valign="top"><a class="ee" href="http://www.computer.org/tse/ts1989/e0356abs.htm"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/FuggettaGM89"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Some+Consideration+on+Real%2DTime+Bahavior+of+Concurrent+Programs.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Some+Consideration+on+Real%2DTime+Bahavior+of+Concurrent+Programs.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/FuggettaGM89" name="p16"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/FuggettaGM89.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Some Consideration on Real-Time Bahavior of Concurrent Programs.
<a href="../../../../db/journals/tse/tse15.html#FuggettaGM89">IEEE Trans. Software Eng. 15</a>(3): 356-359 (1989)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1987</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">15</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/esec/GarzottoGMM87"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22On+the+Specification+of+Real%2DTime+Systems+Using+Logic+Programming.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22On+the+Specification+of+Real%2DTime+Systems+Using+Logic+Programming.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GarzottoGMM87" name="p15"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/esec/GarzottoGMM87.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../g/Garzotto:Franca.html">Franca Garzotto</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>:
On the Specification of Real-Time Systems Using Logic Programming.
<a href="../../../../db/conf/esec/esec87.html#GarzottoGMM87">ESEC 1987</a>: 180-190</td></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">14</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/ac/GhezziMP87"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22On+the+Role+of+Software+Reliability+in+Software+Engineering.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22On+the+Role+of+Software+Reliability+in+Software+Engineering.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ac/GhezziMP87" name="p14"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/ac/GhezziMP87.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a>,
<a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a>:
On the Role of Software Reliability in Software Engineering.
<a href="../../../../db/conf/ac/sr1987.html#GhezziMP87">Software Reliability Modelling and Identification 1987</a>: 1-40</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1985</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">13</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1007/3-540-16042-6_6"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/conf/fsttcs/GhezziMT85"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Program+Simplification+via+Symbolic+Interpretation.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Program+Simplification+via+Symbolic+Interpretation.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fsttcs/GhezziMT85" name="p13"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/fsttcs/GhezziMT85.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../t/Tecchio:Antonio.html">Antonio Tecchio</a>:
Program Simplification via Symbolic Interpretation.
<a href="../../../../db/conf/fsttcs/fsttcs85.html#GhezziMT85">FSTTCS 1985</a>: 116-128</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">12</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/cl/MandrioliZGT85"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Modeling+the+Ada+Task+System+by+Petri+Nets.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Modeling+the+Ada+Task+System+by+Petri+Nets.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/MandrioliZGT85" name="p12"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/MandrioliZGT85.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../z/Zicari:Roberto.html">Roberto Zicari</a>,
Carlo Ghezzi,
<a href="../t/Tisato:Francesco.html">Francesco Tisato</a>:
Modeling the Ada Task System by Petri Nets.
<a href="../../../../db/journals/cl/cl10.html#MandrioliZGT85">Comput. Lang. 10</a>(1): 43-61 (1985)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">11</td><td valign="top"><a class="ee" href="http://dx.doi.org/10.1016/0167-8191(85)90005-5"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/pc/Ghezzi85"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Concurrency+in+programming+languages+A+survey.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Concurrency+in+programming+languages+A+survey.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/pc/Ghezzi85" name="p11"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/pc/Ghezzi85.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
Concurrency in programming languages: A survey.
<a href="../../../../db/journals/pc/pc2.html#Ghezzi85">Parallel Computing 2</a>(3): 229-241 (1985)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1984</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">10</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/cl/BossiG84"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Using+FP+As+a+Query+Language+for+Relational+Data%2DBases.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Using+FP+As+a+Query+Language+for+Relational+Data%2DBases.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/BossiG84" name="p10"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/BossiG84.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Bossi:Annalisa.html">Annalisa Bossi</a>,
Carlo Ghezzi:
Using FP As a Query Language for Relational Data-Bases.
<a href="../../../../db/journals/cl/cl9.html#BossiG84">Comput. Lang. 9</a>(1): 25-37 (1984)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1982</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">9</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/cl/BerryGMT82"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Language+Constructs+for+Real%2DTime+Distributed+Systems.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Language+Constructs+for+Real%2DTime+Distributed+Systems.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/BerryGMT82" name="p9"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/BerryGMT82.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../b/Berry:Daniel_M=.html">Daniel M. Berry</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>,
<a href="../t/Tisato:Francesco.html">Francesco Tisato</a>:
Language Constructs for Real-Time Distributed Systems.
<a href="../../../../db/journals/cl/cl7.html#BerryGMT82">Comput. Lang. 7</a>(1): 11-20 (1982)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1980</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">8</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/cl/CelentanoVG80"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22SIMPLE+A+Program+Development+System.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22SIMPLE+A+Program+Development+System.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/CelentanoVG80" name="p8"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/cl/CelentanoVG80.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Celentano:Augusto.html">Augusto Celentano</a>,
<a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a>,
Carlo Ghezzi:
SIMPLE: A Program Development System.
<a href="../../../../db/journals/cl/cl5.html#CelentanoVG80">Comput. Lang. 5</a>(2): 103-114 (1980)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">7</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/tse/CelentanoVGM80"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Separate+Compilation+and+Partial+Specification+in+Pascal.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Separate+Compilation+and+Partial+Specification+in+Pascal.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/CelentanoVGM80" name="p7"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/tse/CelentanoVGM80.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Celentano:Augusto.html">Augusto Celentano</a>,
<a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a>,
Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Separate Compilation and Partial Specification in Pascal.
<a href="../../../../db/journals/tse/tse6.html#CelentanoVGM80">IEEE Trans. Software Eng. 6</a>(4): 320-328 (1980)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">6</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/322203.322215"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/jacm/GhezziM80"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Augmenting+Parsers+to+Support+Incrementality.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Augmenting+Parsers+to+Support+Incrementality.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jacm/GhezziM80" name="p6"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/jacm/GhezziM80.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Augmenting Parsers to Support Incrementality.
<a href="../../../../db/journals/jacm/jacm27.html#GhezziM80">J. ACM 27</a>(3): 564-579 (1980)</td></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">5</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/spe/CelentanoCVGGS80"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Compiler+Testing+using+a+Sentence+Generator.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Compiler+Testing+using+a+Sentence+Generator.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/spe/CelentanoCVGGS80" name="p5"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/spe/CelentanoCVGGS80.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../c/Celentano:Augusto.html">Augusto Celentano</a>,
<a href="../c/Crespi=Reghizzi:Stefano.html">Stefano Crespi-Reghizzi</a>,
<a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a>,
Carlo Ghezzi,
<a href="../g/Granata:G=.html">G. Granata</a>,
<a href="../s/Savoretti:F=.html">F. Savoretti</a>:
Compiler Testing using a Sentence Generator.
<a href="../../../../db/journals/spe/spe10.html#CelentanoCVGGS80">Softw., Pract. Exper. 10</a>(11): 897-918 (1980)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1979</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">4</td><td valign="top"><a class="ee" href="http://doi.acm.org/10.1145/357062.357066"><img alt="Electronic Edition" title="Electronic Edition" src="../../../ee.gif" border="0" height="16" width="16"></a>&nbsp;<a href="http://www.pubzone.org/dblp/journals/toplas/GhezziM79"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Incremental+Parsing.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Incremental+Parsing.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/toplas/GhezziM79" name="p4"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/toplas/GhezziM79.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi,
<a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a>:
Incremental Parsing.
<a href="../../../../db/journals/toplas/toplas1.html#GhezziM79">ACM Trans. Program. Lang. Syst. 1</a>(1): 58-70 (1979)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1978</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">3</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/iandc/VignaG78"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Context%2DFree+Graph+Grammars%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Context%2DFree+Graph+Grammars%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/iandc/VignaG78" name="p3"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/iandc/VignaG78.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a>,
Carlo Ghezzi:
Context-Free Graph Grammars
<a href="../../../../db/journals/iandc/iandc37.html#VignaG78">Information and Control 37</a>(2): 207-233 (1978)</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1976</th></tr>
<tr><td align="right" valign="top" class="C" bgcolor="#CCCCFF">2</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/conf/eci/VignaG76"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22Data+Structures+and+Graph+Grammars.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22Data+Structures+and+Graph+Grammars.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/eci/VignaG76" name="p2"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/conf/eci/VignaG76.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td><a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a>,
Carlo Ghezzi:
Data Structures and Graph Grammars.
<a href="../../../../db/conf/eci/eci76.html#VignaG76">ECI 1976</a>: 130-145</td></tr>
<tr><th></th><th colspan="2" bgcolor="#FFFFCC">1975</th></tr>
<tr><td align="right" valign="top" class="J" bgcolor="#FFCCCC">1</td><td valign="top"><img alt="no EE" title="no 'Electronic Edition' link available" src="../../../noee.gif" border="0" height="16" width="16">&nbsp;<a href="http://www.pubzone.org/dblp/journals/ipl/Ghezzi75"><img alt="pubzone.org" title="pubzone.org" src="../../../pubzone.gif" border="0" height="16" width="16"></a> <a href="http://citeseerx.ist.psu.edu/search?q=%22LL%281%29+Grammars+Supporting+an+Efficient+Error+Handling.%22"><img alt="CiteSeerX" title="CiteSeerX" src="../../../csx.gif" border="0" height="16" width="16"></a> <a href="http://scholar.google.com/scholar?q=%22LL%281%29+Grammars+Supporting+an+Efficient+Error+Handling.%22"><img alt="Google scholar" title="Google scholar" src="../../../gs.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ipl/Ghezzi75" name="p1"><img alt="BibTeX" title="BibTeX" src="../../../bibtex.gif" border="0" height="16" width="16"></a> <a href="http://dblp.uni-trier.de/rec/bibtex/journals/ipl/Ghezzi75.xml"><img alt="bibliographical record in XML" title="bibliographical record in XML" src="../../../xml.gif" border="0" height="16" width="16"></a></td><td>Carlo Ghezzi:
LL(1) Grammars Supporting an Efficient Error Handling.
<a href="../../../../db/journals/ipl/ipl3.html#Ghezzi75">Inf. Process. Lett. 3</a>(6): 174-176 (1975)</td></tr>
</table>
</p>
<h2><a name="coauthors" href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/xc">Coauthor Index</a></h2>
<p><table border="1">
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Ardagna:Danilo">1</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../a/Ardagna:Danilo.html">Danilo Ardagna</a></td><td align="left"> [<a href="#p98">98</a>] [<a href="#p101">101</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Armenise:Pasquale">2</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../a/Armenise:Pasquale.html">Pasquale Armenise</a></td><td align="left"> [<a href="#p27">27</a>] [<a href="#p32">32</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Astesiano:Egidio">3</a></td><td class="coauthor" align="right" bgcolor="#FFCCFF"><a href="../a/Astesiano:Egidio.html">Egidio Astesiano</a></td><td align="left"> [<a href="#p55">55</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Balzarotti:Davide">4</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Balzarotti:Davide.html">Davide Balzarotti</a></td><td align="left"> [<a href="#p58">58</a>] [<a href="#p59">59</a>] [<a href="#p73">73</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Bandinelli:Sergio">5</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Bandinelli:Sergio.html">Sergio Bandinelli</a></td><td align="left"> [<a href="#p23">23</a>] [<a href="#p27">27</a>] [<a href="#p28">28</a>] [<a href="#p32">32</a>] [<a href="#p33">33</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Baresi:Luciano">6</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Baresi:Luciano.html">Luciano Baresi</a></td><td align="left"> [<a href="#p64">64</a>] [<a href="#p66">66</a>] [<a href="#p70">70</a>] [<a href="#p74">74</a>] [<a href="#p75">75</a>] [<a href="#p76">76</a>] [<a href="#p78">78</a>] [<a href="#p79">79</a>] [<a href="#p80">80</a>] [<a href="#p83">83</a>] [<a href="#p86">86</a>] [<a href="#p87">87</a>] [<a href="#p90">90</a>] [<a href="#p92">92</a>] [<a href="#p93">93</a>] [<a href="#p96">96</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Bellettini:Carlo">7</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Bellettini:Carlo.html">Carlo Bellettini</a></td><td align="left"> [<a href="#p37">37</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Beretta:Paolo">8</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Beretta:Paolo.html">Paolo Beretta</a></td><td align="left"> [<a href="#p78">78</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Berry:Daniel_M=">9</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Berry:Daniel_M=.html">Daniel M. Berry</a></td><td align="left"> [<a href="#p9">9</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Bianculli:Domenico">10</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Bianculli:Domenico.html">Domenico Bianculli</a></td><td align="left"> [<a href="#p80">80</a>] [<a href="#p85">85</a>] [<a href="#p87">87</a>] [<a href="#p89">89</a>] [<a href="#p90">90</a>] [<a href="#p91">91</a>] [<a href="#p102">102</a>] [<a href="#p104">104</a>] [<a href="#p109">109</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Binder:Walter">11</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../b/Binder:Walter.html">Walter Binder</a></td><td align="left"> [<a href="#p91">91</a>] [<a href="#p102">102</a>] [<a href="#p109">109</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Bossi:Annalisa">12</a></td><td class="coauthor" align="right" bgcolor="#CCFFFF"><a href="../b/Bossi:Annalisa.html">Annalisa Bossi</a></td><td align="left"> [<a href="#p10">10</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Celentano:Augusto">13</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../c/Celentano:Augusto.html">Augusto Celentano</a></td><td align="left"> [<a href="#p5">5</a>] [<a href="#p7">7</a>] [<a href="#p8">8</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Coen=Porisini:Alberto">14</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../c/Coen=Porisini:Alberto.html">Alberto Coen-Porisini</a></td><td align="left"> [<a href="#p20">20</a>] [<a href="#p45">45</a>] [<a href="#p56">56</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Crespi=Reghizzi:Stefano">15</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../c/Crespi=Reghizzi:Stefano.html">Stefano Crespi-Reghizzi</a></td><td align="left"> [<a href="#p5">5</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Cugola:Gianpaolo">16</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../c/Cugola:Gianpaolo.html">Gianpaolo Cugola</a></td><td align="left"> [<a href="#p41">41</a>] [<a href="#p42">42</a>] [<a href="#p43">43</a>] [<a href="#p44">44</a>] [<a href="#p48">48</a>] [<a href="#p51">51</a>] [<a href="#p53">53</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Denaro:Giovanni">17</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../d/Denaro:Giovanni.html">Giovanni Denaro</a></td><td align="left"> [<a href="#p56">56</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Drago:Mauro_Luigi">18</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../d/Drago:Mauro_Luigi.html">Mauro Luigi Drago</a></td><td align="left"> [<a href="#p102">102</a>] [<a href="#p109">109</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Epifani:Ilenia">19</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../e/Epifani:Ilenia.html">Ilenia Epifani</a></td><td align="left"> [<a href="#p111">111</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Faltings:Boi">20</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../f/Faltings:Boi.html">Boi Faltings</a></td><td align="left"> [<a href="#p91">91</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Felder:Miguel">21</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../f/Felder:Miguel.html">Miguel Felder</a></td><td align="left"> [<a href="#p31">31</a>] [<a href="#p35">35</a>] [<a href="#p37">37</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Fraccapani:Roberto">22</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../f/Fraccapani:Roberto.html">Roberto Fraccapani</a></td><td align="left"> [<a href="#p78">78</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Fuggetta:Alfonso">23</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../f/Fuggetta:Alfonso.html">Alfonso Fuggetta</a></td><td align="left"> [<a href="#p16">16</a>] [<a href="#p23">23</a>] [<a href="#p28">28</a>] [<a href="#p29">29</a>] [<a href="#p33">33</a>] [<a href="#p36">36</a>] [<a href="#p39">39</a>] [<a href="#p42">42</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Gallotti:Stefano">24</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Gallotti:Stefano.html">Stefano Gallotti</a></td><td align="left"> [<a href="#p100">100</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Garzotto:Franca">25</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Garzotto:Franca.html">Franca Garzotto</a></td><td align="left"> [<a href="#p15">15</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Gerosa:Giorgio">26</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Gerosa:Giorgio.html">Giorgio Gerosa</a></td><td align="left"> [<a href="#p86">86</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Granata:G=">27</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Granata:G=.html">G. Granata</a></td><td align="left"> [<a href="#p5">5</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Grigolli:Sandro">28</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Grigolli:Sandro.html">Sandro Grigolli</a></td><td align="left"> [<a href="#p28">28</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Guinea:Sam">29</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../g/Guinea:Sam.html">Sam Guinea</a></td><td align="left"> [<a href="#p64">64</a>] [<a href="#p79">79</a>] [<a href="#p80">80</a>] [<a href="#p82">82</a>] [<a href="#p83">83</a>] [<a href="#p87">87</a>] [<a href="#p90">90</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/He:Fei">30</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../h/He:Fei.html">Fei He</a></td><td align="left"> [<a href="#p93">93</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Inverardi:Paola">31</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../i/Inverardi:Paola.html">Paola Inverardi</a></td><td align="left"> [<a href="#p63">63</a>] [<a href="#p103">103</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Jazayeri:Mehdi">32</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../j/Jazayeri:Mehdi.html">Mehdi Jazayeri</a></td><td align="left"> [<a href="#p46">46</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Jurca:Radu">33</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../j/Jurca:Radu.html">Radu Jurca</a></td><td align="left"> [<a href="#p91">91</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Kemmerer:Richard_A=">34</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../k/Kemmerer:Richard_A=.html">Richard A. Kemmerer</a></td><td align="left"> [<a href="#p24">24</a>] [<a href="#p25">25</a>] [<a href="#p45">45</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Kennerer:Richard_A=">35</a></td><td class="coauthor" align="right" bgcolor="#FFFF99"><a href="../k/Kennerer:Richard_A=.html">Richard A. Kennerer</a></td><td align="left"> [<a href="#p22">22</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Kramer:Jeff">36</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../k/Kramer:Jeff.html">Jeff Kramer</a> (Jeffrey Kramer)</td><td align="left"> [<a href="#p67">67</a>] [<a href="#p95">95</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Magee:Jeff">37</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Magee:Jeff.html">Jeff Magee</a> (Jeff N. Magee)</td><td align="left"> [<a href="#p61">61</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mandrioli:Dino">38</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mandrioli:Dino.html">Dino Mandrioli</a></td><td align="left"> [<a href="#p4">4</a>] [<a href="#p6">6</a>] [<a href="#p7">7</a>] [<a href="#p9">9</a>] [<a href="#p12">12</a>] [<a href="#p13">13</a>] [<a href="#p15">15</a>] [<a href="#p16">16</a>] [<a href="#p17">17</a>] [<a href="#p19">19</a>] [<a href="#p20">20</a>] [<a href="#p21">21</a>] [<a href="#p26">26</a>] [<a href="#p29">29</a>] [<a href="#p46">46</a>] [<a href="#p69">69</a>] [<a href="#p72">72</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mantione:M=">39</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mantione:M=.html">M. Mantione</a></td><td align="left"> [<a href="#p41">41</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Martena:Vincenzo">40</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Martena:Vincenzo.html">Vincenzo Martena</a></td><td align="left"> [<a href="#p65">65</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/McDermid:John_A=">41</a></td><td class="coauthor" align="right" bgcolor="#FF99FF"><a href="../m/McDermid:John_A=.html">John A. McDermid</a></td><td align="left"> [<a href="#p18">18</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Metzger:Andreas">42</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Metzger:Andreas.html">Andreas Metzger</a></td><td align="left"> [<a href="#p97">97</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Meyer:Bertrand">43</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Meyer:Bertrand.html">Bertrand Meyer</a></td><td align="left"> [<a href="#p105">105</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Miele:Antonio">44</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Miele:Antonio.html">Antonio Miele</a></td><td align="left"> [<a href="#p70">70</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mirandola:Raffaela">45</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mirandola:Raffaela.html">Raffaela Mirandola</a></td><td align="left"> [<a href="#p98">98</a>] [<a href="#p100">100</a>] [<a href="#p101">101</a>] [<a href="#p111">111</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Miraz:Matteo">46</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Miraz:Matteo.html">Matteo Miraz</a></td><td align="left"> [<a href="#p70">70</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mitin:Roman">47</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mitin:Roman.html">Roman Mitin</a></td><td align="left"> [<a href="#p105">105</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mocci:Andrea">48</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mocci:Andrea.html">Andrea Mocci</a></td><td align="left"> [<a href="#p88">88</a>] [<a href="#p96">96</a>] [<a href="#p110">110</a>] [<a href="#p112">112</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Monga:Mattia">49</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Monga:Mattia.html">Mattia Monga</a></td><td align="left"> [<a href="#p58">58</a>] [<a href="#p59">59</a>] [<a href="#p73">73</a>] [<a href="#p88">88</a>] [<a href="#p96">96</a>] [<a href="#p110">110</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Montangero:Carlo">50</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Montangero:Carlo.html">Carlo Montangero</a></td><td align="left"> [<a href="#p103">103</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Morasca:Sandro">51</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Morasca:Sandro.html">Sandro Morasca</a></td><td align="left"> [<a href="#p17">17</a>] [<a href="#p21">21</a>] [<a href="#p38">38</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Morzenti:Angelo">52</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Morzenti:Angelo.html">Angelo Morzenti</a></td><td align="left"> [<a href="#p14">14</a>] [<a href="#p15">15</a>] [<a href="#p19">19</a>] [<a href="#p23">23</a>] [<a href="#p26">26</a>] [<a href="#p27">27</a>] [<a href="#p29">29</a>] [<a href="#p32">32</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Mottola:Luca">53</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../m/Mottola:Luca.html">Luca Mottola</a></td><td align="left"> [<a href="#p76">76</a>] [<a href="#p86">86</a>] [<a href="#p92">92</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Naggi:Andrea">54</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../n/Naggi:Andrea.html">Andrea Naggi</a></td><td align="left"> [<a href="#p70">70</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Nitto:Elisabetta_Di">55</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../n/Nitto:Elisabetta_Di.html">Elisabetta Di Nitto</a></td><td align="left"> [<a href="#p41">41</a>] [<a href="#p42">42</a>] [<a href="#p57">57</a>] [<a href="#p62">62</a>] [<a href="#p74">74</a>] [<a href="#p75">75</a>] [<a href="#p79">79</a>] [<a href="#p97">97</a>] [<a href="#p105">105</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Nordio:Martin">56</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../n/Nordio:Martin.html">Martin Nordio</a></td><td align="left"> [<a href="#p105">105</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Nuseibeh:Bashar">57</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../n/Nuseibeh:Bashar.html">Bashar Nuseibeh</a></td><td align="left"> [<a href="#p52">52</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Osterweil:Leon_J=">58</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../o/Osterweil:Leon_J=.html">Leon J. Osterweil</a></td><td align="left"> [<a href="#p67">67</a>] [<a href="#p95">95</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Pacifici:Filippo">59</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Pacifici:Filippo.html">Filippo Pacifici</a></td><td align="left"> [<a href="#p70">70</a>] [<a href="#p78">78</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Paoli:Flavio_De">60</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Paoli:Flavio_De.html">Flavio De Paoli</a></td><td align="left"> [<a href="#p20">20</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Papazoglou:Mike_P=">61</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Papazoglou:Mike_P=.html">Mike P. Papazoglou</a></td><td align="left"> [<a href="#p97">97</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Pezz=egrave=:Mauro">62</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Pezz=egrave=:Mauro.html">Mauro Pezz&egrave;</a></td><td align="left"> [<a href="#p14">14</a>] [<a href="#p17">17</a>] [<a href="#p21">21</a>] [<a href="#p31">31</a>] [<a href="#p34">34</a>] [<a href="#p35">35</a>] [<a href="#p38">38</a>] [<a href="#p56">56</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Picco:Gian_Pietro">63</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Picco:Gian_Pietro.html">Gian Pietro Picco</a></td><td align="left"> [<a href="#p43">43</a>] [<a href="#p65">65</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Pohl:Klaus">64</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../p/Pohl:Klaus.html">Klaus Pohl</a></td><td align="left"> [<a href="#p97">97</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Roman:Gruia=Catalin">65</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../r/Roman:Gruia=Catalin.html">Gruia-Catalin Roman</a></td><td align="left"> [<a href="#p30">30</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Rombach:H=_Dieter">66</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../r/Rombach:H=_Dieter.html">H. Dieter Rombach</a></td><td align="left"> [<a href="#p61">61</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Sabba:Maurizio">67</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Sabba:Maurizio.html">Maurizio Sabba</a></td><td align="left"> [<a href="#p57">57</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Salvaneschi:Guido">68</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Salvaneschi:Guido.html">Guido Salvaneschi</a></td><td align="left"> [<a href="#p112">112</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Savoretti:F=">69</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Savoretti:F=.html">F. Savoretti</a></td><td align="left"> [<a href="#p5">5</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Selvini:Paolo">70</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Selvini:Paolo.html">Paolo Selvini</a></td><td align="left"> [<a href="#p57">57</a>] [<a href="#p62">62</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Soffa:Mary_Lou">71</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Soffa:Mary_Lou.html">Mary Lou Soffa</a></td><td align="left"> [<a href="#p61">61</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Spoletini:Paola">72</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../s/Spoletini:Paola.html">Paola Spoletini</a></td><td align="left"> [<a href="#p80">80</a>] [<a href="#p85">85</a>] [<a href="#p87">87</a>] [<a href="#p90">90</a>] [<a href="#p93">93</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Tamburrelli:Giordano">73</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../t/Tamburrelli:Giordano.html">Giordano Tamburrelli</a></td><td align="left"> [<a href="#p99">99</a>] [<a href="#p100">100</a>] [<a href="#p105">105</a>] [<a href="#p107">107</a>] [<a href="#p108">108</a>] [<a href="#p111">111</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Tecchio:Antonio">74</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../t/Tecchio:Antonio.html">Antonio Tecchio</a></td><td align="left"> [<a href="#p13">13</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Tisato:Francesco">75</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../t/Tisato:Francesco.html">Francesco Tisato</a></td><td align="left"> [<a href="#p9">9</a>] [<a href="#p12">12</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Vigna:Giovanni">76</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../v/Vigna:Giovanni.html">Giovanni Vigna</a></td><td align="left"> [<a href="#p43">43</a>] [<a href="#p47">47</a>] [<a href="#p49">49</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Vigna:Pierluigi_Della">77</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../v/Vigna:Pierluigi_Della.html">Pierluigi Della Vigna</a></td><td align="left"> [<a href="#p2">2</a>] [<a href="#p3">3</a>] [<a href="#p5">5</a>] [<a href="#p7">7</a>] [<a href="#p8">8</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Wolf:Alexander_L=">78</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../w/Wolf:Alexander_L=.html">Alexander L. Wolf</a></td><td align="left"> [<a href="#p67">67</a>] [<a href="#p95">95</a>]</td></tr>
<tr><td align="right"><a href="http://dblp.uni-trier.de/rec/pers/g/Ghezzi:Carlo/s/Zicari:Roberto">79</a></td><td class="coauthor" align="right" bgcolor="#FFFFCC"><a href="../z/Zicari:Roberto.html">Roberto Zicari</a></td><td align="left"> [<a href="#p12">12</a>]</td></tr>
</table></p>
<p><small><a href="../../../about/coauthorColors.html">Colors in the list of coauthors</a></small></p>
<p><div class="footer"><a href="../../../index.html">Home</a> | <a href="../../../conf/indexa.html">Conferences</a> | <a href="../../../journals/index.html">Journals</a> | <a href="../../../series/index.html">Series</a> | <a href="../../../about/faq.html">FAQ</a> &#151; Search: <a href="http://dblp.l3s.de">Faceted</a> | <a href="http://dblp.mpi-inf.mpg.de/dblp-mirror/index.php">Complete</a> | <a href="../../../indices/a-tree/index.html">Author</a></div>
<small><a href="../../../copyright.html">Copyright &#169;</a> Wed May 26 15:38:19 2010
 by <a href="http://www.informatik.uni-trier.de/~ley/addr.html">Michael Ley</a> (<a href="mailto:ley@uni-trier.de">ley@uni-trier.de</a>)</small></p><script type="text/javascript" src="http://www.informatik.uni-trier.de/~ley/dblp.mpi-inf.mpg.de/completesearch.js"></script></body></html>